package prolog.terms;


/**
  Special constants, used to Name variables
  @see Term
  @see Var
*/
class PseudoVar (sym: String) extends Const(sym) {
  def this(i: Int) = this("V_"+i)
 
  override def toString = name
  
}
